Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C
نویسندگان
چکیده
In this paper we prove a strong nonstructure theorem for κ(T )-saturated models of a stable theory T with dop. This paper continues the work started in [HT].
منابع مشابه
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B
We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HS].
متن کاملConstructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A
We study how equivalent nonisomorphic models an unsuperstable theory can have. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues the work started in [HT].
متن کامل. L O ] 1 5 Fe b 19 92 CONSTRUCTING STRONGLY EQUIVALENT NONISOMORPHIC MODELS FOR UNSUPERSTABLE
We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HS].
متن کاملA nonstructure theorem for countable, stable, unsuperstable theories
A trichotomy theorem for countable, stable, unsuperstable theories is proved. We develop the notion of a ‘regular ideal’ of formulas and study types that are minimal with respect to such an ideal.
متن کاملN ov 2 00 7 A nonstructure theorem for countable , stable , unsuperstable theories
A trichotomy theorem for countable, stable, unsuperstable theories is offered. We develop the notion of a ‘regular ideal’ of formulas and study types that are minimal with respect to such an ideal.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 64 شماره
صفحات -
تاریخ انتشار 1999